C++ Primer, Tái bản thứ Năm: Phạm vi cục bộ và Thời gian sống của đối tượng tự động

Trong sân khấu lớn của một chương trình C++, các đối tượng giống như những diễn viên. Một số ở lại sân khấu suốt vở kịch, nhưng phần lớn — những đối tượng cục bộ—là những thực thể nhất thời xuất hiện trong một cảnh duy nhất rồi biến mất mãi mãi. Bài học này thiết lập sự khác biệt cốt lõi giữa tính khả dụng của một đối tượng, khả dụng (phạm vi) và sự tồn tại (thời gian sống).

1. Phạm vi từ vựng so với Thời gian sống tại thời điểm thực thi

Phạm vi phạm vi của một tên là một thuộc tính thời điểm biên dịch: đó là vùng văn bản chương trình nơi tên đó có thể được sử dụng. Ngược lại, thời gian sống là một thuộc tính thời điểm chạy: khoảng thời gian mà đối tượng chiếm giữ một địa chỉ bộ nhớ vật lý.

2. Đối tượng tự động

Các đối tượng tồn tại chỉ trong khi một khối đang được thực thi là đối tượng tự động. Chúng được tạo khi điều khiển đi qua định nghĩa của chúng (int n = 0;) và bị hủy khi dấu ngoặc đóng (}) được đạt tới. Các tham số về cơ bản là biến cục bộ được khởi tạo bởi các đối số.

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

When is an automatic object's memory typically reclaimed?

When the program finishes execution.

When the enclosing block (braces) terminates.

When the object is assigned a new value.

When the compiler optimizes the code.

QUESTION 2

True or False: A function's parameters have a lifetime that spans the entire program.

True

False

QUESTION 3

Which code snippet demonstrates the creation of an automatic object?

static int count = 0;

int val = 5; (inside a function)

extern int globalVar;

#define MAX 100

QUESTION 4

In the context of local scope, what does 'lexical' refer to?

The speed of the program execution.

The memory address on the stack.

The physical region of the source code text.

The dictionary of keywords in C++.

QUESTION 5

What is the primary benefit of automatic objects?

They allow variables to be accessed from any function.

They ensure memory efficiency by reclaiming space automatically.

They prevent the use of headers.

They increase the binary size of the program.

Deep Dive: Local Variable Architecture

Analysis of Scope and Writing Requirements

You are auditing a function designed to process string inputs. You must distinguish between the placeholders (parameters) and the actual data passed (arguments), while ensuring the memory for local processing doesn't leak. Consider the following definitions: - Parameter: Variable in function signature. - Argument: Value passed during call. - Local: Defined in block. - Static Local: Local scope, global lifetime.

1. [Short Answer] What is the difference between a parameter and an argument? (Minimum 50 words required)

Solution:
A parameter is a formal variable declared in the function's header that acts as a placeholder for incoming data. In contrast, an argument is the actual value, variable, or expression supplied to the function during a call. When a function is invoked, the parameters are initialized using the values of the arguments. This distinction is vital because parameters are local automatic objects that exist only within the function's lifetime, whereas the arguments exist in the caller's scope and may persist long after the function returns. Understanding this helps prevent confusion regarding data ownership and side effects.

2. [Short Answer] Explain the differences between a parameter, a local variable, and a local static variable. Give an example of a function in which each might be useful.

Solution:
A parameter is initialized by arguments at the call site and represents input data. A local variable is defined inside a block for temporary processing and is destroyed upon block exit. A local static variable is defined in a block (local scope) but its lifetime persists across function calls (global lifetime). Example: In a `logTransaction(double amount)` function, `amount` is a parameter representing the specific data. `double tax = amount * 0.1;` is a local variable used for a one-time calculation. `static int callCount = 0;` is a local static variable used to track how many times the function has been executed across the entire program session.

3. [Writing Task] Write a main function that takes two arguments. Concatenate the supplied arguments and print the resulting string. (Minimum 30 words required)

Solution:
cpp int main(int argc, char* argv[]) { if (argc < 3) return 1; // We must check if two arguments were actually provided via the command line. std::string result = std::string(argv[1]) + std::string(argv[2]); std::cout << result << std::endl; return 0; } This implementation utilizes the `argc` parameter to verify that the user provided at least two arguments before attempting to concatenate and print the combined string result.

4. [Writing Task] Exercise 6.22: Write a function to swap two int pointers.

Solution:
To swap the actual addresses stored in two pointers, we must pass the pointers by reference: cpp void swapPointers(int* &p1, int* &p2) { int* temp = p1; p1 = p2; p2 = temp; } By using a reference to a pointer (`int* &`), the function can modify the local pointers in the calling scope rather than just swapping local copies of the addresses.